perm filename FILES[F82,JMC]1 blob
sn#686790 filedate 1982-11-09 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 [f82,jmc]
C00005 ENDMK
Cā;
[f82,jmc]
ambigu[f82,jmc] Ambiguity tolerance and desirable vagueness
appoi1[f82,jmc] A program for keeping track of appointments and advising
balzer.rep[f82,jmc] Reply to Balzer's message to Bob Kahn
bird[f82,jmc] Another version of "A bird can fly unless ...
bird.2[f82,jmc] Another approach to " A bird can fly unless
bird.3[f82,jmc] The reasoning itself
circum[f82,jmc] Mathematical questions of circumscription
circum.lec[f82,jmc] Notes for lecture on circumscription
confli[f82,jmc] There is too much conflict in the world
enviro[f82,jmc] Environmental issues for discussion with Sarah
german[f82,jmc] some German vocabulary
hypert[f82,jmc] hypertime - speculation in physics
lambda[f82,jmc] How expensive is lambda calculus computationally?
let1[f82,jmc] A call-by-need let macro
letby.lsp[f82,jmc] Call-by-need let macro
lisp.imp[f82,jmc] improvements to Lisp, lisp 3, new lisp
mathso[f82,jmc] Abstract of talk for American Mathematical Society
metaep[f82,jmc] A proposal for meta-epistemology
more[f82,jmc] More on Circumscription
naviga[f82,jmc] Radio navigation for cars using fm stations
parall[f82,jmc] Ideas for a parallel bit string manipulator
reiter[f82,jmc] To Reiter re circumscription applied to Nixon paradox
safety[f82,jmc] When safety kills
scheme[f82,jmc] scheme hairy control structure for samefringe
semina[f82,jmc] Abstract for seminar on circumscription
tree[f82,jmc] Another scheme for using trees instead of a-lists
triang.lsp[f82,jmc] How many queens will fit in a triangle
trian3.lsp[f82,jmc] Queens in triangle, multiple-value-bind version